State space reduction using partial order techniques
نویسندگان
چکیده
منابع مشابه
Partial Order Reduction in Symbolic State Space Traversal Using ZBDDs
In order to reduce state explosion problem, techniques such as symbolic state space traversal and partial order reduction have been proposed. Combining these two techniques, however, seems difficult, and only a few research projects related to this topic have been reported. In this paper, we propose handling single place zero reachability problem of Petri nets by using both partial order reduct...
متن کاملState Space Reduction using Partial -Con uence
We present an e cient algorithm to determine the maximal class of con uent -transitions in a labelled transition system. Con uent -transitions are inert with respect to branching bisimulation. This allows to use -priorisation, which means that in a state with a con uent outgoing -transition all other transitions can be removed, maintaining branching bisimulation. In combination with the removal...
متن کاملPartial-Order Reduction in Symbolic State Space Exploration
State space explosion is a fundamental obstacle in formal veri cation of designs and protocols. Several techniques for combating this problem have emerged in the past few years, among which two are signi cant: partialorder reductions and symbolic state space search. In asynchronous systems, interleavings of independent concurrent events are equivalent, and only a representative interleaving nee...
متن کاملState Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction
Sensor networks may be used to conduct critical tasks like fire detection or surveillance monitoring. It is thus important to guarantee the correctness of such systems by systematically analyzing their behaviors. Formal verification of wireless sensor networks is an extremely challenging task as the state space of sensor networks is huge, e.g., due to interleaving of sensors and intra-sensor in...
متن کاملPartial Order Reduction for State/Event LTL
Software systems assembled from a large number of autonomous components become an interesting target for formal verification due to the issue of correct interplay in component interaction. State/event LTL [6, 5] incorporates both states and events to express important properties of component-based software systems. The main contribution of the paper is a partial order reduction technique for ve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer (STTT)
سال: 1999
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s100090050035